1. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
Author: Fleuriot, Jacques, 2791-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
Classification :
QA
76
.
9
.
A96F57
2. Automated Deduction in Geometry
Author: / Tetsuo Ida, Jacques Fleuriot
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
3. Automated deduction in geometry :
Author: Tetsuo Ida, Jacques Fleuriot (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
Classification :
QA448
.
D38
I58
2012
4. Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
Author: Jacques Fleuriot
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
5. Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
Author: Jacques Fleuriot
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J337
2001
